Constructible function - PDFSEARCH.IO - Document Search Engine

Constructible function
Results: 268

#	Item
81	Aggregation in Probabilistic Databases via Knowledge Compilation Robert Fink and Larisa Han and Dan Olteanu Deptartment of Computer Science, University of Oxford Wolfson Building, Parks Road, OX1 3QD Oxford, UK {robert.f Add to Reading List Source URL: vldb.org Language: English - Date: 2012-01-21 14:30:02 Algebraic structures Ring theory Semiring Relational model Relational algebra Symbol Polynomial ring Constructible universe Function Abstract algebra Mathematics Algebra
82	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
83	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)? Oleg Kiselyov1 , William E. Byrd2 , Daniel P. Friedman2 , and Chung-chieh Shan3 1 Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:44 Functions and mappings Function Prolog Constraint logic programming Unification Multiplication FO Constructible universe Mathematics Mathematical logic Logic programming
84	On Free Type Definitions in Z∗ R.D. Arthan ICL Secure Systems Eskdale Road Winnersh Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:41:12 Z notation Model theory Type theory Set theory Zermelo set theory Constructible universe Function Independence S Mathematical logic Mathematics Logic
85	2003 HSC Notes from the Marking Centre Mathematics Extension 2 © 2004 Copyright Board of Studies NSW for and on behalf of the Crown in right of the State of New South Wales. This document contains Material prepared by Add to Reading List Source URL: www.boardofstudies.nsw.edu.au Language: English - Date: 2007-06-27 21:44:38 Function Ordinal number Integration by parts Standardized tests Mathematics Constructible universe Net
86	Simultaneous equations models for discrete outcomes: coherence, completeness, and identification.∗ Andrew Chesher and Adam M. Rosen CeMMAP & UCL August 21, 2012 Add to Reading List Source URL: ias.ust.hk Language: English - Date: 2014-05-15 03:38:32 Regression analysis Mathematics Simultaneous equations model Instrumental variable Function Constructible universe Econometrics Statistics Economics
87	Notes from the logbook of a proof-checher’s project? Domenico Cantone1 , Eugenio G. Omodeo2 , Jacob T. Schwartz3 , Pietro Ursino1 1 3 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:47:18 Function Injective function Constructible universe Computability theory Μ-recursive function Fréchet derivative Mathematics Mathematical analysis Functions and mappings
88	Journal of Machine Learning Research[removed]1561 Submitted 4/12; Revised 1/13; Published 6/13 Fast Generalized Subset Scan for Anomalous Pattern Detection Edward McFowland III Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-07-20 22:05:55 Statistical tests Constructible universe Anomaly detection Maximum likelihood Likelihood-ratio test Likelihood function Ordinal number Statistics Statistical theory Estimation theory
89	Pseudo-MDPs and Factored Linear Action Models ´ Hengshuai Yao, Csaba Szepesv´ari, Bernardo Avila Pires Xinhua Zhang Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-10-11 02:37:07 Functional analysis Generalized functions Constructible universe Distribution Function Pullback Vector space Linear temporal logic Μ operator Mathematics Algebra Mathematical analysis
90	The Ref proof-checker and its “common shared scenario” Eugenio G. Omodeo December 3, 2011 · · · l’histoire g´eologique nous montre que la vie n’est qu’un court ´episode entre deux ´eternit´es de mort, et Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 08:24:18 Function Automata theory Computability theory Theory of computation COMPASS/Sample Code IIHF World U18 Championships – Division II Mathematics Functions and mappings Constructible universe

UPDATE